81. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
پدیدآورنده : Yasubumi Sakakibara....]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4201
82. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
پدیدآورنده : Pieter Adriaans, Henning Fernau, Menno van Zaanen )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2484
83. Grammatical inference and applications : second International colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
پدیدآورنده : Rafael C. Carrasco, Jose Oncina, eds
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
862
84. Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
پدیدآورنده : Vasant Honavar, Giora Slutzki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1433
85. Grammatical inference: theoretical results and application
پدیدآورنده : / ICGI 2010, Valencia, Spain, September 13 - 16, 2010. Josae M. Sempere
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
E-BOOK
86. Graph-grammars and their application to computer science and biology : International Workshop, Bad Honnef, Oct. 30 - Nov. 3, 1978
پدیدآورنده : edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages,Congresses ، Graph theory,Congresses ، Data structures )Computer science(,، Graph grammars
رده :
QA
76
.
L28
Vol
.
73
87. Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978
پدیدآورنده : edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Formal languages,Congresses ، Graph theory,Congresses ، Data structures )Computer science(,، Graph grammars
رده :
QA
76
.
L4
v
.
73
88. Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Formal languages-- Congresses,، Graph theory-- Congresses,، Data structures )Computer science(-- Congresses
رده :
QA
267
.
3
.
G7
89. Groups, Languages, and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: (طهران)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A5
1998
90. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
91. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
92. Groups,languages,and geometry:1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and coputer science,
پدیدآورنده : / Robert H.Gilman,editor
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Geometric group theory-Congresses.,Machine theory-Congresses.,Formal languages-Congress
رده :
QA183
.
S47
1998
93. Language and Automata Theory and Applications
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses,Formal languages -- Congresses,Mathematical linguistics -- Congresses,نظریه ماشین -- کنگره‌ها,زبانهای صوری -- کنگره‌ها,زبان‌شناسی ریاضی -- کنگره‌ها
رده :
E-Book
,
94. Language and Automata Theory and Applications :
پدیدآورنده : Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
95. Language and automata theory and applications
پدیدآورنده : \ Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory -- Congresses.,Formal languages -- Congresses.,Mathematical linguistics -- Congresses.,نظریه ماشین -- کنگره ها ,زبانهای صوری -- کنگره ها ,زبان‌شناسی ریاضی -- کنگره ها
رده :
QA
267
.
L32
2015
E-Book
,
96. Language and automata theory and applications
پدیدآورنده : Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Formal languages, Congresses,Machine theory, Congresses,Mathematical linguistics, Congresses
رده :
QA267
.
L38
2012eb
97. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
98. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
99. Logic of programming and calculi of discrete design
پدیدآورنده : edited by Manfred Broy
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages
رده :
QA
267
.
3
.
N38
1986
100. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
